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
lib: handle -funsigned-char option
2015-03-11
Dan C
a
rpenter
li
b
: handle -funsigned-ch
a
r option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carp
e
nter
kernel
.
ig
n
ore_side_effects:
a
dd some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
rpenter
in
d
enting: a
l
low "break;
c
ase
X
X
X:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
ar
p
en
t
e
r
user
_
dat
a
2: mark s
s
canf() output a
s
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpent
e
r
math, rl: fi
x
h
anding division involving negative
numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
a
rpe
n
ter
sval: fix
sval_b
i
nop_overf
l
ows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
precedence: complain
about "f
o
o
<
<
bar -
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan
C
ar
p
enter
flow: handle struct initializati
o
n better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Car
p
ente
r
estate:
a
dd a N
U
L
L
chec
k
in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
rpent
e
r
param_used: st
o
re
when a paramete
r
is used so we d
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpen
t
er
extra: ignore
m
ore
__
i
n
_
fake_assign dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
comparison: fix
a crashing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an C
a
rp
e
nte
r
ty
p
e: add an expr_signe
d
() fu
n
ction that matches
expr
_
unsi
g
ned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
py: add functions to sh
o
w
funct
i
ons
implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
extra: handle temporary shorthand
p
o
i
nters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
d
e
re
f
erences_param: look for
p
o
inters
u
sed as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_indent
i
ng: warn abou
t
mi
s
sing curl
y
braces a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
nter
p
a
ram_cleare
d
: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
er
validation: correct some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro
Koskinen
build: al
l
ow us
e
o
f
PKG_CONFIG to ove
r
ri
d
e
pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db:
b
uild indexe
s
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
slist: fi
x
c
o
m
pile br
e
akag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kern
e
l_pr
i
ntf:
silence some fa
l
se positives using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpen
t
er
string
s
: record
w
hich strin
g
s a
r
e bei
n
g
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
user_data2: t
u
rn on skb->
d
ata tag
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: rename FILTER_VALUE, LIMITED
_
VA
L
UE, and
AD
D
ED_VA
L
UE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpent
e
r
kernel_printf: si
l
e
nce some "str
u
c
t
sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
enter
type: a
d
d unio
n
s to
t
ype_
t
o_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
an
Carp
e
n
t
er
t
y
pe_valu
e
: speed up load
i
ng the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Carpen
t
er
*
ne
w
*
return_c
a
st
:
c
omplain ab
o
ut re
t
u
rn -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
f
ormat
_
string: delete this because c
h
eck_kernel_p
r
intf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks
:
a
d
d som
e
debu
g
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
extr
a
: cle
a
nup db_param
_
add_set
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rp
e
nter
ex
t
ra:
s
eparate PARAM_LIMI
T
a
n
d P
A
RAM_
F
ILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
f
u
nction_ho
o
ks: don't take a shortcut for
"needles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
p
enter
helper: introduce
a
ll
o
c_state_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Ca
r
pent
e
r
math: ha
n
dle "if (
l
i
kely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
en
t
er
math: f
i
x/cleanu
p
do_
c
omparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
cappe
d
: don't r
e
cord single val
u
es as
cappe
d
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
d
b: ex
p
ort
g
et_s
t
atic_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpe
n
ter
user_data2: wr
o
n
g parameter tagged
as user d
a
ta in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenb
e
rg: del
e
te som
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg
:
strip away some cast
i
n
g
(
eliminates
a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
rosenbe
r
g:
don't sa
v
e
u
n
neede
d
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
ar
p
enter
bu
f
_size: do
n
't save useless in
f
ormation in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carp
e
nter
str
u
ct
_
assignment: ign
o
re more fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist:
f
ix debug
g
ing output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
par
a
m
_
c
l
eared, ro
s
enbe
r
g: ad
d
underscored memset
/
cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpe
n
ter
p
a
ram_filter/set: don't record fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
s
l
ist, de
b
ugging:
d
on'
t
print ->pos
s
ible list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
t
ype_val: add mor
e
stuff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpenter
db/re
l
oad_partial
.
sh:
change database inf
o
f
or
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Doc
u
me
n
tat
i
on fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
k
e
rn
e
l
_printf:
pu
t
lo
t
s
of single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpen
t
er
Merg
e
b
r
anch
'
d
evel3
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Vill
e
moes
check_kernel_p
r
i
n
t
f
.
c
: Allow
co
n
st cha
r
[] fo
r
mat
a
rguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus V
i
llemo
e
s
check
_
ke
r
ne
l
_printf
.
c: Handle
'
fm
t
?
:
"default"
'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villem
o
e
s
check_kerne
l
_p
r
int
f
.
c: Simpl
i
fy r
e
cu
r
sive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nter
check_kernel_pr
i
ntf
.
c
:
S
i
m
plify recursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
k
er
n
el_printf: allow '\b
'
i
f it's the f
i
rst character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpent
e
r
v
a
l
idation
/
sm_rosenberg
.
c:
d
on't pa
s
s
a
n unin
i
tialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Ca
r
p
e
nter
kernel_pri
n
tf: add so
m
e more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_prin
t
f:
m
ove
a
w
arning under the --spammy f
l
ag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kernel_
p
rintf: add some quotes a
r
ound the func
t
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
kerne_
p
rintf: '%pb'
i
s v
a
lid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
i
llem
o
es
check_
k
ernel_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
m
us Villemo
e
s
check_kernel_
p
rintf
.
c: S
t
rip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vill
e
moes
c
heck_kernel_pr
i
ntf
.
c: H
a
ndle conditionals
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoe
s
s
mat
c
h: Che
c
k the kernel's %p form
a
t
extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatc
h
:
Add --enab
l
e
option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
s
match: Im
p
l
em
e
nt -
-
show
-
chec
k
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch:
Ad
d
dummy
e
l
e
ment to reg_
f
u
n
c
s
commit
|
commitdiff
|
tree
2015-02-11
Luc
V
a
n O
o
stenry
c
k
Avoid
reuse of s
t
ring
buffer
when
c
oncatening
a
djac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
D
a
n
Carpenter
wrong_s
i
ze_arg:
w
arn about "if (memc
m
p(foo, b
a
r, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Ca
r
penter
struct_ass
i
g
n
men
t
:
remove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpenter
sval: h
a
ndle
LEFTSHIFTs in sv
a
l_binop_ov
e
rflo
w
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
v
a
l: cast
t
h
e
resul
t
in sva
l
_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
t
y
pe
_
v
a
l
:
u
pda
t
e to ha
n
d
l
e PARAM_SET from t
h
e db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpenter
t
ype_va
l
: ig
n
ore kmalloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
pe
n
ter
type_val:
ignore all the
"for_
e
ach" macro
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
us
e
r_data2: remove some debug
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Car
p
e
nte
r
helper: introd
u
ce
i
nv
e
rt_
o
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Da
n
Carpenter
r
anges: break the r
a
nge list
p
ar
s
ing into a sepa
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Car
p
enter
ranges: prepa
r
e to change a string
to an es
t
ate
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan
Carpenter
modification_hooks: a
d
d PARAM_S
E
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
param_cleared: clearing
a
member is not clearing
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
ty
p
e_val: ignore fake member
assignment
s
from uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
Carpenter
type_value: lis
t
_entry
i
s
safe as w
e
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan
Carpenter
d
b: use s
a
ved return estate i
n
ste
a
d
of searching the
d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpen
t
er
debug: in
t
roduce __smatch_known
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
Carpenter
db, extra: us
e
PARAM_SET if the parameter
is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan
Ca
r
pen
t
er
frees_par
a
m: modify m
e
ans it's
not freed anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
a
n Carp
e
nter
s
li
s
t: fix "
s
ta
c
k
n
ot empty" er
r
o
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carpent
e
r
silence: add __
r
ead
_
on
c
e
_size() to kernel
.
silenced_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpen
t
e
r
comparison: handle preops
l
i
k
e "if
(
++a == b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
flo
w
: don't inline functio
n
s which are over 20
l
i
nes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Car
p
enter
functi
o
n_ptrs: han
d
le SYN_
N
ODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Car
p
enter
helper: improve get_member_na
m
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
u
ser_data2: start re-write o
f
user_data (not used ye
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nte
r
math: i
n
troduce cu
s
tom_ge
t
_abs
o
lute
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next