repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
list: add a comment about register_implications
2015-03-30
Dan Carpenter
l
ist
:
add
a
comment
a
bout register_implica
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
p
e
n
t
e
r
para
m
_
limit: handle struct
me
m
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
states: white
s
pace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
condition
s
:
ig
n
ore
k
nown/implied conditi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
t
r
ings: record st
r
ing as
s
ignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Car
p
enter
s
truct_ass
i
gnment: save a lot mor
e
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
param_limit/filter: fi
x
a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jegen
db: Avoid derefere
n
cing
n
ull po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpenter
co
m
parison: handle canonical
fo
r
loops wit
h
variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpenter
comparison: unsi
g
ned can not be less than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: set
__cur_stmt and _
_
p
r
ev_stmt i
n
si
d
e for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpent
e
r
comparison: mergin
g
equiv
a
l
e
nt s
t
ates
is not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
o
mparison: fix an inde
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
function
_
hooks: fix
up db_
c
ompare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_ho
o
ks, debug:
p
rint impossible returns
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpe
n
te
r
h
elper: don'
t
strip ca
s
ti
n
g in
g
et_a
r
ray_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
li
n
ks: export merge_link_s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpe
n
te
r
h
el
p
e
r
: make expr_to_str() print forced cas
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpenter
type: ma
k
e
type_to_str() retur
n
a sname()
b
uffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Carpenter
modi
f
ic
a
tio
n
_hooks: set a variab
l
e as
mo
d
ified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user_data2:
t
ag it
i
f a function sets
p
a
rame
t
ers
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
stack
:
cleanup a functio
n
prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
der
e
f_c
h
e
ck: ignore
a
rrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
Carp
e
nter
type
:
make sval_type_ma
x
(
) default to "long l
o
ng"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Carp
e
nt
e
r
t
y
pe: don't return SY
M
_NODE types fro
m
get_real_b
a
se_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpent
e
r
side
_
effects
:
the iterate_all_kinds
(
) macro has sid
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
rpente
r
unre
a
chable: don't
c
omplain about
iterate_all_k
i
n
d
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpent
e
r
flow: fix "foo +=
!bar;" ass
i
g
n
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Da
n
Carpenter
lib: handle -f
u
nsign
e
d-char opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpenter
kern
e
l
.
ignore_side_ef
f
ects: add some m
a
cros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
rpenter
indenting: allow
"bre
a
k; ca
s
e XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Ca
r
penter
user_data2: mar
k
ssca
n
f() o
u
tput as
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpe
n
ter
math, r
l
: fix han
d
ing
division involv
i
n
g
ne
g
a
t
ive n
u
mbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpenter
s
v
al: fix sva
l
_bi
n
op_
o
v
e
r
f
lows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
precedence: complain about "fo
o
<< bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Da
n
Carpenter
flo
w
:
handle
s
t
r
uc
t
in
i
t
i
a
l
ization bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carp
e
n
t
er
esta
t
e: add
a
NULL check in est
a
tes_equiv
(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Carp
e
nte
r
param
_
u
s
ed: s
t
or
e
when a
p
arameter i
s
used
s
o
we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n
Carpenter
extra: ign
o
re
mo
r
e __in_
f
ake_assig
n
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
r
p
enter
comparison: fix
a
crashi
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
type: add a
n
ex
p
r_signed() func
t
i
on that matches expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
sm
d
b
.
py: add f
u
n
ctions to show
functions im
p
lementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
extr
a
: han
d
le temporary shorthand pointers
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
dere
f
eren
c
es_param
:
l
ook
f
or pointers used as
an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Carpenter
che
c
k_i
n
denting
:
warn about
m
issing cur
l
y br
a
ces
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Da
n
C
arp
e
nter
param
_
cle
a
red
:
add a
comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arpenter
v
a
l
i
da
t
ion: co
r
rect some out
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
build: al
l
ow use of PKG_C
O
NFIG t
o
override pkg-config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
n
t
er
d
b
: build indexes
faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
sli
s
t: fix compile break
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
penter
kern
e
l_pr
i
nt
f
:
s
ilence some false pos
i
tives using sm
a
tch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
s
t
ring
s
:
recor
d
which string
s
are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
u
s
e
r_
d
ata2: turn on skb->data tagg
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: renam
e
FILTER_V
A
LUE, LIMITED
_
VALUE, an
d
ADDED_
V
ALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpen
t
er
kernel_pri
n
tf: silence some "struc
t
sockad
d
r " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
pe
n
ter
type: add u
n
ions to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_value: speed up
lo
a
ding the da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* retur
n
_c
a
st: compla
i
n abo
u
t return -EINVAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_string: dele
t
e this
b
ecause
ch
e
ck_kerne
l
_pri
n
t
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_ho
o
k
s: ad
d
some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
extra: cleanup db_param_add_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: s
e
parate
P
ARAM_
L
IMIT a
n
d PA
R
AM_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
function_hooks: don't
t
ake a sho
r
t
c
u
t for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
helper
:
introd
u
ce
a
lloc_sta
t
e_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math
:
han
d
le
"
if
(
likely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
p
enter
m
a
th:
f
ix/cleanup do_compar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
c
apped: do
n
't record sing
l
e values
a
s
c
a
pped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
db:
e
xport get_
s
t
a
t
i
c_filte
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
u
ser_
d
ata2: wro
n
g parameter tagged as
u
ser data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: delete some code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rp
e
nter
ro
s
enberg: strip away some casting (eliminat
e
s
a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
r
osenberg: don't
s
ave
unneeded st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
e
r
b
uf_
s
i
ze: don't sav
e
usele
s
s i
n
forma
t
ion
i
n the da
t
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Car
p
enter
struct_assignment: ig
n
ore more fake
a
ss
i
gnm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist: fix de
b
ugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
enter
pa
r
a
m_cleared
,
rosenberg: add unders
c
ored memset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
arpenter
param_fil
t
e
r
/set: do
n
't
record fake
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
pente
r
slist, d
e
bugging: don'
t
pri
n
t -
>
possible list if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
arp
e
nter
t
y
p
e_val: add mor
e
s
t
uff t
o
ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
db/reload_partia
l
.
sh: change database info
f
or o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
an Je
g
en
Documenta
t
ion fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Car
p
e
n
ter
ke
r
nel_pri
n
tf:
p
ut lots of single quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan
Carpenter
Merge branch
'deve
l
3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mus
Villemo
e
s
ch
e
ck_
k
ern
e
l_printf
.
c
: Allow
c
onst char[] format
argu
m
ents
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
V
illemoe
s
ch
e
ck_kern
e
l_printf
.
c
: Handle 'f
m
t
? :
"
defaul
t
"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vi
l
l
emoes
c
heck_
k
ernel_
p
ri
n
tf
.
c: Si
m
plify recursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
t
e
r
check_
k
ernel_pr
i
ntf
.
c: Simplify
r
ecursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kern
e
l_printf: allo
w
'
\
b' if it'
s
the
first char
a
cter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
r
pente
r
va
l
i
d
ation/sm_r
o
s
enberg
.
c: d
o
n
'
t pas
s
an unini
t
ialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
k
ernel
_
printf: add some
m
ore quote
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
kernel_printf: move a warning u
n
der th
e
--spammy flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
k
e
r
n
el_p
r
intf:
a
d
d
some q
u
otes around th
e
func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kern
e
_
p
rintf: '%pb
'
is v
a
l
id
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
check_k
e
rnel_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
c
hec
k
_
kernel_prin
t
f
.
c:
Stri
p
pare
n
t
heses
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
check_k
e
rnel_printf
.
c
:
H
andle con
d
itiona
l
s
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s
Vil
l
emoes
s
match: Check
t
he kernel's %p for
m
a
t
extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Vi
l
l
e
moes
s
m
atch: Ad
d
--enabl
e
optio
n
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
sm
a
tch: Implem
e
n
t
--
s
how-checks
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
u
s
Villemoes
s
m
atch:
Add dummy element to r
e
g_funcs
commit
|
commitdiff
|
tree
next